1. Modeling and verification using UML statecharts :
پدیدآورنده : Doron Drusinsky.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Development.,Formal methods (Computer science),UML (Computer science),Logiciels-- Développement.,Méthodes formelles (Informatique),UML (Informatique),Computer software-- Development.,Formal methods (Computer science),UML (Computer science)
رده :
QA76
.
76
.
D47
D78
2006eb
2. Modeling and verification using UML statecharts :a working guide to reactive system design, runtime monitoring, and execution-based model checking
پدیدآورنده : Drusinsky, Doron.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : ، UML )Computer science(,، Formal methods )Computer science(,Development ، Computer software
رده :
QA
76
.
76
.
D47
D78
